relationship between an upper bound and the maximum element in a set